xsm: Avoid null dereference in flask get_page_sid
authorKeir Fraser <keir.fraser@citrix.com>
Mon, 13 Sep 2010 16:27:22 +0000 (17:27 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Mon, 13 Sep 2010 16:27:22 +0000 (17:27 +0100)
commitbdc9bc5f487857f69d84e334a1bbd491c9d9b527
treebf04fc5db6b5e5278e541f9574b9fd4a25e17d29
parent4e1d7bcd4d091af0b40cd4e7e8b1f15909e364e7
xsm: Avoid null dereference in flask get_page_sid

From: Daniel De Graaf <dgdegra@tycho.nsa.gov>
xen/xsm/flask/hooks.c